node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
link(1,10) :- #0.292.
link(10,1) :- #0.397.
link(1,23) :- #0.556.
link(23,1) :- #0.561.
link(1,30) :- #0.286.
link(30,1) :- #0.601.
link(1,41) :- #0.757.
link(41,1) :- #0.426.
link(1,59) :- #0.903.
link(59,1) :- #0.707.
link(1,61) :- #0.428.
link(61,1) :- #0.302.
link(1,62) :- #0.
link(62,1) :- #0.632.
link(1,80) :- #0.819.
link(80,1) :- #0.054.
link(1,83) :- #0.479.
link(83,1) :- #0.965.
link(1,92) :- #0.8.
link(92,1) :- #0.493.
link(1,99) :- #0.476.
link(99,1) :- #0.667.
link(1,101) :- #0.436.
link(101,1) :- #0.983.
link(1,108) :- #0.202.
link(108,1) :- #0.75.
link(1,109) :- #0.771.
link(109,1) :- #0.594.
link(1,112) :- #0.434.
link(112,1) :- #0.129.
link(1,113) :- #0.322.
link(113,1) :- #0.672.
link(1,123) :- #0.813.
link(123,1) :- #0.705.
link(2,4) :- #0.277.
link(4,2) :- #0.981.
link(2,30) :- #0.351.
link(30,2) :- #0.964.
link(2,36) :- #0.7.
link(36,2) :- #0.26.
link(2,43) :- #0.504.
link(43,2) :- #0.81.
link(2,50) :- #0.455.
link(50,2) :- #0.996.
link(2,69) :- #0.942.
link(69,2) :- #0.511.
link(2,71) :- #0.383.
link(71,2) :- #0.947.
link(2,75) :- #0.675.
link(75,2) :- #0.513.
link(2,86) :- #0.48.
link(86,2) :- #0.913.
link(2,96) :- #0.545.
link(96,2) :- #0.909.
link(2,116) :- #0.724.
link(116,2) :- #0.85.
link(3,5) :- #0.621.
link(5,3) :- #0.681.
link(3,6) :- #0.631.
link(6,3) :- #0.772.
link(3,21) :- #0.65.
link(21,3) :- #0.784.
link(3,32) :- #0.886.
link(32,3) :- #0.398.
link(3,33) :- #0.268.
link(33,3) :- #0.084.
link(3,34) :- #0.035.
link(34,3) :- #0.718.
link(3,47) :- #0.901.
link(47,3) :- #0.198.
link(3,63) :- #0.766.
link(63,3) :- #0.147.
link(3,66) :- #0.481.
link(66,3) :- #0.113.
link(3,71) :- #0.824.
link(71,3) :- #0.769.
link(3,78) :- #0.913.
link(78,3) :- #0.876.
link(3,107) :- #0.881.
link(107,3) :- #0.806.
link(3,114) :- #0.325.
link(114,3) :- #0.762.
link(4,5) :- #0.412.
link(5,4) :- #0.673.
link(4,20) :- #0.141.
link(20,4) :- #0.556.
link(4,30) :- #0.735.
link(30,4) :- #0.174.
link(4,42) :- #0.864.
link(42,4) :- #0.471.
link(4,53) :- #0.232.
link(53,4) :- #0.831.
link(4,54) :- #0.882.
link(54,4) :- #0.88.
link(4,98) :- #0.481.
link(98,4) :- #0.626.
link(4,119) :- #0.77.
link(119,4) :- #0.269.
link(4,122) :- #0.525.
link(122,4) :- #0.11.
link(5,21) :- #0.176.
link(21,5) :- #0.632.
link(5,26) :- #0.193.
link(26,5) :- #0.777.
link(5,29) :- #0.026.
link(29,5) :- #0.838.
link(5,31) :- #0.743.
link(31,5) :- #0.73.
link(5,43) :- #0.047.
link(43,5) :- #0.291.
link(5,57) :- #0.681.
link(57,5) :- #0.943.
link(5,72) :- #0.502.
link(72,5) :- #0.494.
link(5,83) :- #0.681.
link(83,5) :- #0.303.
link(5,84) :- #0.027.
link(84,5) :- #0.785.
link(5,102) :- #0.595.
link(102,5) :- #0.084.
link(6,24) :- #0.009.
link(24,6) :- #0.836.
link(6,61) :- #0.741.
link(61,6) :- #0.546.
link(6,67) :- #0.356.
link(67,6) :- #0.083.
link(6,68) :- #0.505.
link(68,6) :- #0.96.
link(6,80) :- #0.745.
link(80,6) :- #0.741.
link(6,87) :- #0.585.
link(87,6) :- #0.137.
link(6,91) :- #0.613.
link(91,6) :- #0.726.
link(6,99) :- #0.75.
link(99,6) :- #0.345.
link(6,115) :- #0.689.
link(115,6) :- #0.718.
link(7,14) :- #0.05.
link(14,7) :- #0.691.
link(7,52) :- #0.777.
link(52,7) :- #0.718.
link(7,80) :- #0.116.
link(80,7) :- #0.285.
link(7,81) :- #0.616.
link(81,7) :- #0.105.
link(7,87) :- #0.359.
link(87,7) :- #0.849.
link(7,99) :- #0.869.
link(99,7) :- #0.229.
link(7,107) :- #0.81.
link(107,7) :- #0.532.
link(7,108) :- #0.857.
link(108,7) :- #0.502.
link(7,120) :- #0.578.
link(120,7) :- #0.02.
link(8,26) :- #0.423.
link(26,8) :- #0.432.
link(8,55) :- #0.798.
link(55,8) :- #0.504.
link(8,60) :- #0.862.
link(60,8) :- #0.874.
link(8,68) :- #0.775.
link(68,8) :- #0.429.
link(8,69) :- #0.963.
link(69,8) :- #0.399.
link(8,77) :- #0.274.
link(77,8) :- #0.332.
link(8,97) :- #0.895.
link(97,8) :- #0.189.
link(8,103) :- #0.51.
link(103,8) :- #0.712.
link(9,18) :- #0.597.
link(18,9) :- #0.413.
link(9,46) :- #0.939.
link(46,9) :- #0.817.
link(9,47) :- #0.92.
link(47,9) :- #0.131.
link(9,54) :- #0.172.
link(54,9) :- #0.472.
link(9,68) :- #0.573.
link(68,9) :- #0.212.
link(9,91) :- #0.8.
link(91,9) :- #0.421.
link(9,92) :- #0.833.
link(92,9) :- #0.346.
link(9,112) :- #0.116.
link(112,9) :- #0.873.
link(10,20) :- #0.368.
link(20,10) :- #0.693.
link(10,43) :- #0.414.
link(43,10) :- #0.72.
link(10,45) :- #0.737.
link(45,10) :- #0.96.
link(10,53) :- #0.752.
link(53,10) :- #0.575.
link(10,67) :- #0.478.
link(67,10) :- #0.294.
link(10,86) :- #0.828.
link(86,10) :- #0.121.
link(10,108) :- #0.853.
link(108,10) :- #0.593.
link(10,110) :- #0.528.
link(110,10) :- #0.048.
link(11,18) :- #0.549.
link(18,11) :- #0.877.
link(11,22) :- #0.024.
link(22,11) :- #0.996.
link(11,34) :- #0.031.
link(34,11) :- #0.905.
link(11,40) :- #0.218.
link(40,11) :- #0.576.
link(11,44) :- #0.952.
link(44,11) :- #0.176.
link(11,64) :- #0.298.
link(64,11) :- #0.848.
link(11,65) :- #0.528.
link(65,11) :- #0.779.
link(11,72) :- #0.044.
link(72,11) :- #0.081.
link(11,74) :- #0.181.
link(74,11) :- #0.036.
link(11,88) :- #0.869.
link(88,11) :- #0.52.
link(11,89) :- #0.899.
link(89,11) :- #0.62.
link(11,93) :- #0.957.
link(93,11) :- #0.208.
link(11,98) :- #0.685.
link(98,11) :- #0.483.
link(11,109) :- #0.968.
link(109,11) :- #0.968.
link(11,120) :- #0.358.
link(120,11) :- #0.878.
link(12,13) :- #0.804.
link(13,12) :- #0.016.
link(12,26) :- #0.899.
link(26,12) :- #0.377.
link(12,33) :- #0.806.
link(33,12) :- #0.63.
link(12,38) :- #0.975.
link(38,12) :- #0.836.
link(12,49) :- #0.234.
link(49,12) :- #0.982.
link(12,63) :- #0.236.
link(63,12) :- #0.792.
link(12,69) :- #0.114.
link(69,12) :- #0.93.
link(12,75) :- #0.391.
link(75,12) :- #0.894.
link(12,88) :- #0.921.
link(88,12) :- #0.984.
link(12,90) :- #0.779.
link(90,12) :- #0.526.
link(12,102) :- #0.393.
link(102,12) :- #0.069.
link(12,117) :- #0.536.
link(117,12) :- #0.085.
link(12,123) :- #0.09.
link(123,12) :- #0.375.
link(13,15) :- #0.245.
link(15,13) :- #0.118.
link(13,23) :- #0.624.
link(23,13) :- #0.825.
link(13,24) :- #0.993.
link(24,13) :- #0.309.
link(13,27) :- #0.396.
link(27,13) :- #0.262.
link(13,32) :- #0.538.
link(32,13) :- #0.533.
link(13,47) :- #0.951.
link(47,13) :- #0.744.
link(13,64) :- #0.251.
link(64,13) :- #0.822.
link(13,68) :- #0.915.
link(68,13) :- #0.622.
link(13,69) :- #0.899.
link(69,13) :- #0.268.
link(13,81) :- #0.758.
link(81,13) :- #0.735.
link(13,96) :- #0.058.
link(96,13) :- #0.859.
link(13,110) :- #0.392.
link(110,13) :- #0.948.
link(14,30) :- #0.196.
link(30,14) :- #0.932.
link(14,33) :- #0.654.
link(33,14) :- #0.823.
link(14,54) :- #0.498.
link(54,14) :- #0.861.
link(14,74) :- #0.893.
link(74,14) :- #0.697.
link(14,89) :- #0.387.
link(89,14) :- #0.519.
link(14,103) :- #0.095.
link(103,14) :- #0.501.
link(14,104) :- #0.215.
link(104,14) :- #0.677.
link(14,106) :- #0.72.
link(106,14) :- #0.945.
link(14,107) :- #0.573.
link(107,14) :- #0.473.
link(14,125) :- #0.773.
link(125,14) :- #0.905.
link(15,22) :- #0.407.
link(22,15) :- #0.292.
link(15,40) :- #0.781.
link(40,15) :- #0.283.
link(15,61) :- #0.331.
link(61,15) :- #0.351.
link(15,67) :- #0.433.
link(67,15) :- #0.807.
link(15,69) :- #0.83.
link(69,15) :- #0.075.
link(15,75) :- #0.588.
link(75,15) :- #0.19.
link(15,76) :- #0.216.
link(76,15) :- #0.35.
link(15,86) :- #0.487.
link(86,15) :- #0.279.
link(15,89) :- #0.081.
link(89,15) :- #0.274.
link(15,97) :- #0.731.
link(97,15) :- #0.81.
link(15,98) :- #0.432.
link(98,15) :- #0.209.
link(15,102) :- #0.66.
link(102,15) :- #0.676.
link(15,104) :- #0.85.
link(104,15) :- #0.519.
link(15,112) :- #0.977.
link(112,15) :- #0.327.
link(15,113) :- #0.639.
link(113,15) :- #0.05.
link(15,125) :- #0.887.
link(125,15) :- #0.526.
link(16,38) :- #0.647.
link(38,16) :- #0.377.
link(16,39) :- #0.101.
link(39,16) :- #0.873.
link(16,47) :- #0.83.
link(47,16) :- #0.512.
link(16,53) :- #0.881.
link(53,16) :- #0.794.
link(16,64) :- #0.798.
link(64,16) :- #0.572.
link(16,75) :- #0.2.
link(75,16) :- #0.259.
link(16,91) :- #0.975.
link(91,16) :- #0.143.
link(16,104) :- #0.094.
link(104,16) :- #0.955.
link(16,108) :- #0.077.
link(108,16) :- #0.385.
link(16,110) :- #0.479.
link(110,16) :- #0.593.
link(17,32) :- #0.891.
link(32,17) :- #0.384.
link(17,35) :- #0.293.
link(35,17) :- #0.262.
link(17,37) :- #0.468.
link(37,17) :- #0.833.
link(17,42) :- #0.495.
link(42,17) :- #0.276.
link(17,48) :- #0.409.
link(48,17) :- #0.633.
link(17,54) :- #0.597.
link(54,17) :- #0.645.
link(17,72) :- #0.951.
link(72,17) :- #0.703.
link(17,81) :- #0.361.
link(81,17) :- #0.737.
link(17,85) :- #0.44.
link(85,17) :- #0.829.
link(17,86) :- #0.606.
link(86,17) :- #0.669.
link(17,109) :- #0.108.
link(109,17) :- #0.176.
link(17,123) :- #0.724.
link(123,17) :- #0.689.
link(18,24) :- #0.01.
link(24,18) :- #0.701.
link(18,39) :- #0.247.
link(39,18) :- #0.086.
link(18,42) :- #0.587.
link(42,18) :- #0.799.
link(18,56) :- #0.201.
link(56,18) :- #0.679.
link(18,61) :- #0.652.
link(61,18) :- #0.327.
link(18,80) :- #0.005.
link(80,18) :- #0.612.
link(18,85) :- #0.164.
link(85,18) :- #0.803.
link(19,20) :- #0.51.
link(20,19) :- #0.18.
link(19,50) :- #0.814.
link(50,19) :- #0.954.
link(19,55) :- #0.523.
link(55,19) :- #0.671.
link(19,62) :- #0.213.
link(62,19) :- #0.325.
link(19,79) :- #0.785.
link(79,19) :- #0.492.
link(19,83) :- #0.108.
link(83,19) :- #0.061.
link(19,90) :- #0.947.
link(90,19) :- #0.046.
link(19,99) :- #0.869.
link(99,19) :- #0.916.
link(20,28) :- #0.394.
link(28,20) :- #0.293.
link(20,48) :- #0.278.
link(48,20) :- #0.511.
link(20,62) :- #0.972.
link(62,20) :- #0.551.
link(20,87) :- #0.111.
link(87,20) :- #0.839.
link(20,89) :- #0.136.
link(89,20) :- #0.757.
link(20,98) :- #0.744.
link(98,20) :- #0.267.
link(20,122) :- #0.286.
link(122,20) :- #0.077.
link(21,34) :- #0.228.
link(34,21) :- #0.027.
link(21,35) :- #0.86.
link(35,21) :- #0.765.
link(21,80) :- #0.472.
link(80,21) :- #0.534.
link(21,82) :- #0.974.
link(82,21) :- #0.604.
link(21,99) :- #0.902.
link(99,21) :- #0.279.
link(21,116) :- #0.41.
link(116,21) :- #0.907.
link(22,50) :- #0.681.
link(50,22) :- #0.409.
link(22,55) :- #0.521.
link(55,22) :- #0.103.
link(22,64) :- #0.213.
link(64,22) :- #0.196.
link(22,95) :- #0.275.
link(95,22) :- #0.637.
link(22,119) :- #0.615.
link(119,22) :- #0.051.
link(22,123) :- #0.22.
link(123,22) :- #0.515.
link(22,124) :- #0.407.
link(124,22) :- #0.606.
link(23,28) :- #0.486.
link(28,23) :- #0.152.
link(23,41) :- #0.186.
link(41,23) :- #0.172.
link(23,43) :- #0.168.
link(43,23) :- #0.407.
link(23,56) :- #0.206.
link(56,23) :- #0.746.
link(23,57) :- #0.117.
link(57,23) :- #0.332.
link(23,70) :- #0.82.
link(70,23) :- #0.162.
link(23,81) :- #0.547.
link(81,23) :- #0.233.
link(23,84) :- #0.745.
link(84,23) :- #0.27.
link(23,89) :- #0.209.
link(89,23) :- #0.322.
link(23,90) :- #0.231.
link(90,23) :- #0.474.
link(23,95) :- #0.533.
link(95,23) :- #0.595.
link(23,105) :- #0.992.
link(105,23) :- #0.212.
link(23,119) :- #0.042.
link(119,23) :- #0.158.
link(23,123) :- #0.168.
link(123,23) :- #0.991.
link(24,35) :- #0.031.
link(35,24) :- #0.297.
link(24,46) :- #0.617.
link(46,24) :- #0.417.
link(24,56) :- #0.497.
link(56,24) :- #0.191.
link(24,72) :- #0.417.
link(72,24) :- #0.991.
link(24,75) :- #0.403.
link(75,24) :- #0.505.
link(24,80) :- #0.865.
link(80,24) :- #0.585.
link(24,83) :- #0.637.
link(83,24) :- #0.896.
link(24,88) :- #0.459.
link(88,24) :- #0.952.
link(24,91) :- #0.474.
link(91,24) :- #0.798.
link(24,109) :- #0.923.
link(109,24) :- #0.985.
link(25,39) :- #0.762.
link(39,25) :- #0.086.
link(25,40) :- #0.216.
link(40,25) :- #0.901.
link(25,43) :- #0.436.
link(43,25) :- #0.465.
link(25,61) :- #0.627.
link(61,25) :- #0.126.
link(25,73) :- #0.935.
link(73,25) :- #0.454.
link(25,79) :- #0.275.
link(79,25) :- #0.22.
link(25,85) :- #0.685.
link(85,25) :- #0.962.
link(25,93) :- #0.163.
link(93,25) :- #0.119.
link(25,100) :- #0.352.
link(100,25) :- #0.861.
link(25,101) :- #0.809.
link(101,25) :- #0.832.
link(26,29) :- #0.245.
link(29,26) :- #0.027.
link(26,35) :- #0.548.
link(35,26) :- #0.282.
link(26,53) :- #0.033.
link(53,26) :- #0.741.
link(26,62) :- #0.197.
link(62,26) :- #0.459.
link(26,66) :- #0.201.
link(66,26) :- #0.632.
link(26,95) :- #0.287.
link(95,26) :- #0.536.
link(26,100) :- #0.983.
link(100,26) :- #0.549.
link(26,114) :- #0.968.
link(114,26) :- #0.222.
link(26,121) :- #0.472.
link(121,26) :- #0.559.
link(27,29) :- #0.589.
link(29,27) :- #0.497.
link(27,51) :- #0.382.
link(51,27) :- #0.229.
link(27,68) :- #0.303.
link(68,27) :- #0.186.
link(27,78) :- #0.337.
link(78,27) :- #0.13.
link(27,108) :- #0.912.
link(108,27) :- #0.786.
link(27,119) :- #0.353.
link(119,27) :- #0.248.
link(27,122) :- #0.759.
link(122,27) :- #0.584.
link(27,125) :- #0.355.
link(125,27) :- #0.325.
link(28,39) :- #0.417.
link(39,28) :- #0.942.
link(28,51) :- #0.587.
link(51,28) :- #0.882.
link(28,73) :- #0.307.
link(73,28) :- #0.363.
link(28,87) :- #0.711.
link(87,28) :- #0.272.
link(28,89) :- #0.103.
link(89,28) :- #0.532.
link(28,112) :- #0.398.
link(112,28) :- #0.077.
link(28,113) :- #0.017.
link(113,28) :- #0.379.
link(28,114) :- #0.561.
link(114,28) :- #0.927.
link(28,118) :- #0.041.
link(118,28) :- #0.465.
link(29,35) :- #0.807.
link(35,29) :- #0.395.
link(29,43) :- #0.946.
link(43,29) :- #0.047.
link(29,54) :- #0.646.
link(54,29) :- #0.519.
link(29,59) :- #0.114.
link(59,29) :- #0.293.
link(29,63) :- #0.911.
link(63,29) :- #0.253.
link(29,66) :- #0.867.
link(66,29) :- #0.48.
link(29,76) :- #0.312.
link(76,29) :- #0.244.
link(29,79) :- #0.101.
link(79,29) :- #0.277.
link(29,85) :- #0.072.
link(85,29) :- #0.938.
link(29,112) :- #0.491.
link(112,29) :- #0.223.
link(29,117) :- #0.079.
link(117,29) :- #0.545.
link(29,118) :- #0.803.
link(118,29) :- #0.281.
link(29,119) :- #0.464.
link(119,29) :- #0.606.
link(29,124) :- #0.746.
link(124,29) :- #0.45.
link(30,54) :- #0.061.
link(54,30) :- #0.238.
link(30,57) :- #0.114.
link(57,30) :- #0.18.
link(30,68) :- #0.11.
link(68,30) :- #0.84.
link(30,87) :- #0.479.
link(87,30) :- #0.144.
link(30,91) :- #0.89.
link(91,30) :- #0.696.
link(30,101) :- #0.605.
link(101,30) :- #0.268.
link(30,106) :- #0.84.
link(106,30) :- #0.11.
link(30,108) :- #0.693.
link(108,30) :- #0.101.
link(30,121) :- #0.247.
link(121,30) :- #0.266.
link(30,124) :- #0.235.
link(124,30) :- #0.356.
link(31,39) :- #0.512.
link(39,31) :- #0.915.
link(31,40) :- #0.047.
link(40,31) :- #0.793.
link(31,54) :- #0.773.
link(54,31) :- #0.122.
link(31,57) :- #0.269.
link(57,31) :- #0.62.
link(31,66) :- #0.454.
link(66,31) :- #0.232.
link(31,73) :- #0.876.
link(73,31) :- #0.06.
link(31,74) :- #0.893.
link(74,31) :- #0.775.
link(32,41) :- #0.326.
link(41,32) :- #0.002.
link(32,49) :- #0.319.
link(49,32) :- #0.356.
link(32,51) :- #0.465.
link(51,32) :- #0.295.
link(32,55) :- #0.068.
link(55,32) :- #0.561.
link(32,59) :- #0.779.
link(59,32) :- #0.925.
link(32,66) :- #0.44.
link(66,32) :- #0.175.
link(32,73) :- #0.6.
link(73,32) :- #0.32.
link(32,108) :- #0.075.
link(108,32) :- #0.496.
link(32,115) :- #0.388.
link(115,32) :- #0.365.
link(32,120) :- #0.358.
link(120,32) :- #0.403.
link(32,121) :- #0.744.
link(121,32) :- #0.406.
link(33,35) :- #0.182.
link(35,33) :- #0.05.
link(33,36) :- #0.122.
link(36,33) :- #0.87.
link(33,45) :- #0.381.
link(45,33) :- #0.332.
link(33,46) :- #0.288.
link(46,33) :- #0.984.
link(33,63) :- #0.519.
link(63,33) :- #0.54.
link(33,64) :- #0.653.
link(64,33) :- #0.937.
link(33,78) :- #0.922.
link(78,33) :- #0.22.
link(33,79) :- #0.425.
link(79,33) :- #0.393.
link(33,87) :- #0.493.
link(87,33) :- #0.051.
link(33,99) :- #0.841.
link(99,33) :- #0.273.
link(33,101) :- #0.89.
link(101,33) :- #0.505.
link(33,109) :- #0.171.
link(109,33) :- #0.692.
link(33,116) :- #0.855.
link(116,33) :- #0.
link(33,117) :- #0.893.
link(117,33) :- #0.862.
link(34,36) :- #0.6.
link(36,34) :- #0.672.
link(34,38) :- #0.911.
link(38,34) :- #0.926.
link(34,51) :- #0.896.
link(51,34) :- #0.755.
link(34,71) :- #0.545.
link(71,34) :- #0.431.
link(34,87) :- #0.477.
link(87,34) :- #0.727.
link(34,92) :- #0.67.
link(92,34) :- #0.442.
link(34,93) :- #0.297.
link(93,34) :- #0.955.
link(35,37) :- #0.74.
link(37,35) :- #0.839.
link(35,50) :- #0.376.
link(50,35) :- #0.944.
link(35,60) :- #0.964.
link(60,35) :- #0.828.
link(35,76) :- #0.369.
link(76,35) :- #0.565.
link(35,77) :- #0.808.
link(77,35) :- #0.206.
link(35,80) :- #0.443.
link(80,35) :- #0.725.
link(35,91) :- #0.718.
link(91,35) :- #0.781.
link(35,100) :- #0.759.
link(100,35) :- #0.994.
link(35,119) :- #0.07.
link(119,35) :- #0.041.
link(36,42) :- #0.294.
link(42,36) :- #0.193.
link(36,64) :- #0.221.
link(64,36) :- #0.762.
link(36,70) :- #0.215.
link(70,36) :- #0.014.
link(36,73) :- #0.116.
link(73,36) :- #0.49.
link(36,93) :- #0.723.
link(93,36) :- #0.374.
link(36,116) :- #0.502.
link(116,36) :- #0.589.
link(36,118) :- #0.691.
link(118,36) :- #0.652.
link(36,121) :- #0.758.
link(121,36) :- #0.861.
link(37,54) :- #0.29.
link(54,37) :- #0.679.
link(37,59) :- #0.848.
link(59,37) :- #0.23.
link(37,65) :- #0.864.
link(65,37) :- #0.616.
link(37,85) :- #0.805.
link(85,37) :- #0.973.
link(37,89) :- #0.914.
link(89,37) :- #0.675.
link(37,118) :- #0.368.
link(118,37) :- #0.929.
link(37,121) :- #0.145.
link(121,37) :- #0.37.
link(38,44) :- #0.34.
link(44,38) :- #0.495.
link(38,47) :- #0.025.
link(47,38) :- #0.058.
link(38,52) :- #0.691.
link(52,38) :- #0.454.
link(38,54) :- #0.395.
link(54,38) :- #0.409.
link(38,79) :- #0.161.
link(79,38) :- #0.373.
link(38,85) :- #0.928.
link(85,38) :- #0.098.
link(38,96) :- #0.872.
link(96,38) :- #0.687.
link(38,107) :- #0.842.
link(107,38) :- #0.873.
link(38,109) :- #0.402.
link(109,38) :- #0.661.
link(39,45) :- #0.781.
link(45,39) :- #0.785.
link(39,59) :- #0.545.
link(59,39) :- #0.016.
link(39,61) :- #0.159.
link(61,39) :- #0.198.
link(39,65) :- #0.106.
link(65,39) :- #0.526.
link(39,71) :- #0.976.
link(71,39) :- #0.346.
link(39,83) :- #0.227.
link(83,39) :- #0.968.
link(39,101) :- #0.26.
link(101,39) :- #0.084.
link(39,102) :- #0.733.
link(102,39) :- #0.99.
link(39,103) :- #0.786.
link(103,39) :- #0.816.
link(39,106) :- #0.389.
link(106,39) :- #0.321.
link(39,109) :- #0.144.
link(109,39) :- #0.739.
link(39,110) :- #0.136.
link(110,39) :- #0.017.
link(39,118) :- #0.861.
link(118,39) :- #0.853.
link(39,124) :- #0.618.
link(124,39) :- #0.48.
link(39,125) :- #0.013.
link(125,39) :- #0.961.
link(40,44) :- #0.541.
link(44,40) :- #0.863.
link(40,56) :- #0.51.
link(56,40) :- #0.052.
link(40,60) :- #0.722.
link(60,40) :- #0.265.
link(40,80) :- #0.999.
link(80,40) :- #0.383.
link(40,104) :- #0.464.
link(104,40) :- #0.242.
link(40,114) :- #0.752.
link(114,40) :- #0.597.
link(40,115) :- #0.137.
link(115,40) :- #0.372.
link(41,42) :- #0.041.
link(42,41) :- #0.879.
link(41,44) :- #0.299.
link(44,41) :- #0.74.
link(41,54) :- #0.795.
link(54,41) :- #0.214.
link(41,74) :- #0.342.
link(74,41) :- #0.678.
link(41,92) :- #0.838.
link(92,41) :- #0.92.
link(41,103) :- #0.513.
link(103,41) :- #0.073.
link(41,104) :- #0.934.
link(104,41) :- #0.024.
link(41,105) :- #0.314.
link(105,41) :- #0.252.
link(41,106) :- #0.382.
link(106,41) :- #0.445.
link(41,122) :- #0.004.
link(122,41) :- #0.266.
link(42,52) :- #0.89.
link(52,42) :- #0.092.
link(42,55) :- #0.196.
link(55,42) :- #0.405.
link(42,60) :- #0.225.
link(60,42) :- #0.639.
link(42,61) :- #0.201.
link(61,42) :- #0.533.
link(42,91) :- #0.21.
link(91,42) :- #0.166.
link(42,93) :- #0.502.
link(93,42) :- #0.353.
link(42,104) :- #0.538.
link(104,42) :- #0.861.
link(42,118) :- #0.905.
link(118,42) :- #0.68.
link(42,121) :- #0.72.
link(121,42) :- #0.357.
link(43,49) :- #0.156.
link(49,43) :- #0.118.
link(43,56) :- #0.995.
link(56,43) :- #0.848.
link(43,60) :- #0.699.
link(60,43) :- #0.139.
link(43,61) :- #0.933.
link(61,43) :- #0.263.
link(43,64) :- #0.575.
link(64,43) :- #0.08.
link(43,78) :- #0.715.
link(78,43) :- #0.232.
link(43,82) :- #0.015.
link(82,43) :- #0.319.
link(43,87) :- #0.976.
link(87,43) :- #0.383.
link(43,96) :- #0.841.
link(96,43) :- #0.211.
link(43,102) :- #0.791.
link(102,43) :- #0.367.
link(43,103) :- #0.568.
link(103,43) :- #0.828.
link(43,105) :- #0.86.
link(105,43) :- #0.454.
link(43,109) :- #0.708.
link(109,43) :- #0.394.
link(44,52) :- #0.448.
link(52,44) :- #0.425.
link(44,56) :- #0.928.
link(56,44) :- #0.254.
link(44,78) :- #0.852.
link(78,44) :- #0.765.
link(44,111) :- #0.84.
link(111,44) :- #0.362.
link(44,115) :- #0.472.
link(115,44) :- #0.737.
link(45,50) :- #0.47.
link(50,45) :- #0.621.
link(45,56) :- #0.3.
link(56,45) :- #0.357.
link(45,78) :- #0.202.
link(78,45) :- #0.776.
link(45,121) :- #0.388.
link(121,45) :- #0.388.
link(46,53) :- #0.776.
link(53,46) :- #0.336.
link(46,67) :- #0.523.
link(67,46) :- #0.476.
link(46,87) :- #0.959.
link(87,46) :- #0.632.
link(46,102) :- #0.778.
link(102,46) :- #0.164.
link(47,49) :- #0.874.
link(49,47) :- #0.437.
link(47,57) :- #0.248.
link(57,47) :- #0.602.
link(47,58) :- #0.614.
link(58,47) :- #0.726.
link(47,59) :- #0.261.
link(59,47) :- #0.024.
link(47,73) :- #0.345.
link(73,47) :- #0.196.
link(47,80) :- #0.682.
link(80,47) :- #0.855.
link(47,85) :- #0.344.
link(85,47) :- #0.173.
link(47,96) :- #0.907.
link(96,47) :- #0.432.
link(47,113) :- #0.421.
link(113,47) :- #0.721.
link(47,119) :- #0.472.
link(119,47) :- #0.634.
link(48,55) :- #0.659.
link(55,48) :- #0.026.
link(48,66) :- #0.28.
link(66,48) :- #0.026.
link(48,70) :- #0.684.
link(70,48) :- #0.974.
link(48,73) :- #0.725.
link(73,48) :- #0.865.
link(48,93) :- #0.602.
link(93,48) :- #0.92.
link(48,99) :- #0.888.
link(99,48) :- #0.31.
link(49,54) :- #0.891.
link(54,49) :- #0.79.
link(49,55) :- #0.756.
link(55,49) :- #0.352.
link(49,65) :- #0.637.
link(65,49) :- #0.248.
link(49,75) :- #0.521.
link(75,49) :- #0.287.
link(49,88) :- #0.717.
link(88,49) :- #0.823.
link(49,93) :- #0.42.
link(93,49) :- #0.32.
link(49,117) :- #0.289.
link(117,49) :- #0.837.
link(49,124) :- #0.9.
link(124,49) :- #0.19.
link(50,69) :- #0.939.
link(69,50) :- #0.06.
link(50,82) :- #0.759.
link(82,50) :- #0.404.
link(50,87) :- #0.376.
link(87,50) :- #0.213.
link(50,106) :- #0.032.
link(106,50) :- #0.776.
link(51,62) :- #0.704.
link(62,51) :- #0.463.
link(51,72) :- #0.129.
link(72,51) :- #0.01.
link(51,81) :- #0.352.
link(81,51) :- #0.588.
link(51,93) :- #0.933.
link(93,51) :- #0.972.
link(51,101) :- #0.021.
link(101,51) :- #0.563.
link(51,109) :- #0.195.
link(109,51) :- #0.194.
link(51,116) :- #0.906.
link(116,51) :- #0.387.
link(51,125) :- #0.702.
link(125,51) :- #0.989.
link(52,53) :- #0.564.
link(53,52) :- #0.327.
link(52,57) :- #0.932.
link(57,52) :- #0.928.
link(52,62) :- #0.425.
link(62,52) :- #0.714.
link(52,63) :- #0.431.
link(63,52) :- #0.439.
link(52,71) :- #0.199.
link(71,52) :- #0.422.
link(52,80) :- #0.286.
link(80,52) :- #0.934.
link(52,86) :- #0.391.
link(86,52) :- #0.434.
link(52,114) :- #0.155.
link(114,52) :- #0.375.
link(52,120) :- #0.382.
link(120,52) :- #0.086.
link(52,125) :- #0.221.
link(125,52) :- #0.029.
link(53,62) :- #0.059.
link(62,53) :- #0.675.
link(53,66) :- #0.81.
link(66,53) :- #0.637.
link(53,68) :- #0.735.
link(68,53) :- #0.174.
link(53,70) :- #0.709.
link(70,53) :- #0.293.
link(53,72) :- #0.009.
link(72,53) :- #0.395.
link(53,92) :- #0.188.
link(92,53) :- #0.359.
link(53,98) :- #0.642.
link(98,53) :- #0.574.
link(53,113) :- #0.603.
link(113,53) :- #0.225.
link(54,88) :- #0.276.
link(88,54) :- #0.349.
link(54,95) :- #0.011.
link(95,54) :- #0.005.
link(54,97) :- #0.67.
link(97,54) :- #0.132.
link(54,104) :- #0.476.
link(104,54) :- #0.461.
link(54,105) :- #0.821.
link(105,54) :- #0.214.
link(54,116) :- #0.522.
link(116,54) :- #0.832.
link(54,117) :- #0.997.
link(117,54) :- #0.421.
link(54,123) :- #0.194.
link(123,54) :- #0.543.
link(55,64) :- #0.036.
link(64,55) :- #0.835.
link(55,65) :- #0.459.
link(65,55) :- #0.264.
link(55,70) :- #0.784.
link(70,55) :- #0.163.
link(55,103) :- #0.471.
link(103,55) :- #0.708.
link(55,117) :- #0.816.
link(117,55) :- #0.596.
link(56,91) :- #0.884.
link(91,56) :- #0.248.
link(56,93) :- #0.606.
link(93,56) :- #0.904.
link(56,98) :- #0.63.
link(98,56) :- #0.65.
link(56,119) :- #0.504.
link(119,56) :- #0.658.
link(56,120) :- #0.085.
link(120,56) :- #0.315.
link(57,58) :- #0.65.
link(58,57) :- #0.565.
link(57,73) :- #0.588.
link(73,57) :- #0.733.
link(57,77) :- #0.664.
link(77,57) :- #0.401.
link(57,84) :- #0.703.
link(84,57) :- #0.706.
link(57,91) :- #0.368.
link(91,57) :- #0.827.
link(57,93) :- #0.388.
link(93,57) :- #0.182.
link(58,63) :- #0.21.
link(63,58) :- #0.733.
link(58,66) :- #0.316.
link(66,58) :- #0.658.
link(58,71) :- #0.674.
link(71,58) :- #0.948.
link(58,77) :- #0.685.
link(77,58) :- #0.391.
link(58,81) :- #0.885.
link(81,58) :- #0.067.
link(58,91) :- #0.918.
link(91,58) :- #0.635.
link(58,120) :- #0.573.
link(120,58) :- #0.438.
link(59,62) :- #0.235.
link(62,59) :- #0.563.
link(59,91) :- #0.478.
link(91,59) :- #0.668.
link(59,93) :- #0.154.
link(93,59) :- #0.071.
link(59,95) :- #0.316.
link(95,59) :- #0.273.
link(59,99) :- #0.806.
link(99,59) :- #0.595.
link(59,116) :- #0.436.
link(116,59) :- #0.763.
link(60,61) :- #0.681.
link(61,60) :- #0.977.
link(60,64) :- #0.797.
link(64,60) :- #0.694.
link(60,69) :- #0.904.
link(69,60) :- #0.261.
link(60,71) :- #0.732.
link(71,60) :- #0.269.
link(60,81) :- #0.756.
link(81,60) :- #0.572.
link(60,89) :- #0.917.
link(89,60) :- #0.464.
link(60,92) :- #0.384.
link(92,60) :- #0.476.
link(60,120) :- #0.952.
link(120,60) :- #0.266.
link(61,66) :- #0.977.
link(66,61) :- #0.983.
link(61,85) :- #0.076.
link(85,61) :- #0.387.
link(61,94) :- #0.308.
link(94,61) :- #0.676.
link(61,99) :- #0.546.
link(99,61) :- #0.338.
link(61,113) :- #0.155.
link(113,61) :- #0.898.
link(61,118) :- #0.793.
link(118,61) :- #0.255.
link(62,64) :- #0.376.
link(64,62) :- #0.103.
link(62,68) :- #0.133.
link(68,62) :- #0.768.
link(62,69) :- #0.417.
link(69,62) :- #0.011.
link(62,70) :- #0.663.
link(70,62) :- #0.936.
link(62,76) :- #0.899.
link(76,62) :- #0.096.
link(62,82) :- #0.543.
link(82,62) :- #0.11.
link(62,90) :- #0.014.
link(90,62) :- #0.023.
link(62,100) :- #0.547.
link(100,62) :- #0.177.
link(62,101) :- #0.537.
link(101,62) :- #0.345.
link(62,110) :- #0.002.
link(110,62) :- #0.095.
link(62,113) :- #0.741.
link(113,62) :- #0.946.
link(62,114) :- #0.92.
link(114,62) :- #0.862.
link(63,67) :- #0.976.
link(67,63) :- #0.405.
link(63,113) :- #0.52.
link(113,63) :- #0.935.
link(63,114) :- #0.563.
link(114,63) :- #0.459.
link(64,75) :- #0.746.
link(75,64) :- #0.849.
link(64,92) :- #0.298.
link(92,64) :- #0.675.
link(64,115) :- #0.04.
link(115,64) :- #0.06.
link(64,119) :- #0.786.
link(119,64) :- #0.129.
link(65,95) :- #0.152.
link(95,65) :- #0.248.
link(65,101) :- #0.053.
link(101,65) :- #0.504.
link(65,104) :- #0.395.
link(104,65) :- #0.039.
link(65,121) :- #0.105.
link(121,65) :- #0.34.
link(65,124) :- #0.41.
link(124,65) :- #0.98.
link(66,76) :- #0.945.
link(76,66) :- #0.993.
link(66,79) :- #0.421.
link(79,66) :- #0.913.
link(66,81) :- #0.942.
link(81,66) :- #0.92.
link(66,96) :- #0.42.
link(96,66) :- #0.699.
link(66,105) :- #0.594.
link(105,66) :- #0.619.
link(66,106) :- #0.861.
link(106,66) :- #0.48.
link(66,107) :- #0.745.
link(107,66) :- #0.556.
link(66,108) :- #0.985.
link(108,66) :- #0.748.
link(66,115) :- #0.064.
link(115,66) :- #0.78.
link(67,94) :- #0.85.
link(94,67) :- #0.127.
link(67,104) :- #0.374.
link(104,67) :- #0.271.
link(67,108) :- #0.643.
link(108,67) :- #0.612.
link(67,118) :- #0.713.
link(118,67) :- #0.944.
link(68,87) :- #0.832.
link(87,68) :- #0.625.
link(68,89) :- #0.227.
link(89,68) :- #0.427.
link(68,98) :- #0.715.
link(98,68) :- #0.461.
link(68,118) :- #0.449.
link(118,68) :- #0.158.
link(68,121) :- #0.728.
link(121,68) :- #0.979.
link(68,125) :- #0.522.
link(125,68) :- #0.944.
link(69,82) :- #0.544.
link(82,69) :- #0.77.
link(69,83) :- #0.664.
link(83,69) :- #0.311.
link(69,98) :- #0.078.
link(98,69) :- #0.766.
link(69,103) :- #0.038.
link(103,69) :- #0.685.
link(69,115) :- #0.6.
link(115,69) :- #0.657.
link(70,78) :- #0.949.
link(78,70) :- #0.656.
link(70,111) :- #0.639.
link(111,70) :- #0.655.
link(71,75) :- #0.642.
link(75,71) :- #0.253.
link(71,78) :- #0.227.
link(78,71) :- #0.556.
link(71,83) :- #0.209.
link(83,71) :- #0.828.
link(71,90) :- #0.628.
link(90,71) :- #0.706.
link(71,93) :- #0.152.
link(93,71) :- #0.753.
link(71,98) :- #0.364.
link(98,71) :- #0.064.
link(71,107) :- #0.933.
link(107,71) :- #0.761.
link(71,110) :- #0.399.
link(110,71) :- #0.848.
link(72,74) :- #0.425.
link(74,72) :- #0.446.
link(73,83) :- #0.449.
link(83,73) :- #0.317.
link(73,84) :- #0.184.
link(84,73) :- #0.673.
link(73,92) :- #0.832.
link(92,73) :- #0.43.
link(73,116) :- #0.081.
link(116,73) :- #0.583.
link(73,123) :- #0.103.
link(123,73) :- #0.067.
link(73,125) :- #0.357.
link(125,73) :- #0.57.
link(74,99) :- #0.152.
link(99,74) :- #0.08.
link(74,109) :- #0.946.
link(109,74) :- #0.13.
link(74,111) :- #0.88.
link(111,74) :- #0.67.
link(74,115) :- #0.857.
link(115,74) :- #0.491.
link(74,123) :- #0.179.
link(123,74) :- #0.188.
link(75,77) :- #0.109.
link(77,75) :- #0.562.
link(75,79) :- #0.547.
link(79,75) :- #0.61.
link(75,108) :- #0.627.
link(108,75) :- #0.105.
link(75,119) :- #0.257.
link(119,75) :- #0.204.
link(76,88) :- #0.478.
link(88,76) :- #0.34.
link(76,103) :- #0.905.
link(103,76) :- #0.776.
link(77,79) :- #0.912.
link(79,77) :- #0.082.
link(77,82) :- #0.241.
link(82,77) :- #0.607.
link(77,92) :- #0.869.
link(92,77) :- #0.23.
link(77,119) :- #0.102.
link(119,77) :- #0.665.
link(78,82) :- #0.709.
link(82,78) :- #0.108.
link(78,98) :- #0.937.
link(98,78) :- #0.83.
link(78,107) :- #0.925.
link(107,78) :- #0.153.
link(79,94) :- #0.772.
link(94,79) :- #0.873.
link(79,98) :- #0.122.
link(98,79) :- #0.319.
link(79,102) :- #0.354.
link(102,79) :- #0.663.
link(80,123) :- #0.648.
link(123,80) :- #0.812.
link(81,99) :- #0.107.
link(99,81) :- #0.715.
link(82,89) :- #0.215.
link(89,82) :- #0.384.
link(82,90) :- #0.96.
link(90,82) :- #0.629.
link(82,104) :- #0.907.
link(104,82) :- #0.966.
link(82,118) :- #0.123.
link(118,82) :- #0.608.
link(83,87) :- #0.068.
link(87,83) :- #0.495.
link(83,106) :- #0.901.
link(106,83) :- #0.633.
link(83,108) :- #0.061.
link(108,83) :- #0.837.
link(84,86) :- #0.982.
link(86,84) :- #0.872.
link(84,91) :- #0.389.
link(91,84) :- #0.005.
link(84,97) :- #0.8.
link(97,84) :- #0.751.
link(84,101) :- #0.755.
link(101,84) :- #0.818.
link(84,117) :- #0.23.
link(117,84) :- #0.936.
link(84,124) :- #0.468.
link(124,84) :- #0.535.
link(85,87) :- #0.306.
link(87,85) :- #0.341.
link(85,96) :- #0.004.
link(96,85) :- #0.324.
link(85,110) :- #0.175.
link(110,85) :- #0.575.
link(85,113) :- #0.24.
link(113,85) :- #0.954.
link(86,107) :- #0.06.
link(107,86) :- #0.82.
link(86,109) :- #0.95.
link(109,86) :- #0.384.
link(86,113) :- #0.467.
link(113,86) :- #0.643.
link(86,116) :- #0.954.
link(116,86) :- #0.759.
link(87,119) :- #0.11.
link(119,87) :- #0.333.
link(88,99) :- #0.014.
link(99,88) :- #0.302.
link(88,101) :- #0.117.
link(101,88) :- #0.004.
link(88,106) :- #0.238.
link(106,88) :- #0.003.
link(88,112) :- #0.1.
link(112,88) :- #0.236.
link(88,116) :- #0.758.
link(116,88) :- #0.524.
link(89,99) :- #0.836.
link(99,89) :- #0.759.
link(89,100) :- #0.383.
link(100,89) :- #0.153.
link(89,103) :- #0.734.
link(103,89) :- #0.799.
link(89,105) :- #0.437.
link(105,89) :- #0.668.
link(89,110) :- #0.573.
link(110,89) :- #0.634.
link(89,123) :- #0.313.
link(123,89) :- #0.912.
link(90,97) :- #0.149.
link(97,90) :- #0.749.
link(90,105) :- #0.095.
link(105,90) :- #0.511.
link(90,110) :- #0.574.
link(110,90) :- #0.413.
link(90,118) :- #0.003.
link(118,90) :- #0.325.
link(90,120) :- #0.797.
link(120,90) :- #0.358.
link(91,98) :- #0.059.
link(98,91) :- #0.634.
link(91,114) :- #0.095.
link(114,91) :- #0.575.
link(92,102) :- #0.096.
link(102,92) :- #0.253.
link(92,105) :- #0.367.
link(105,92) :- #0.538.
link(92,112) :- #0.883.
link(112,92) :- #0.32.
link(92,124) :- #0.176.
link(124,92) :- #0.899.
link(93,95) :- #0.073.
link(95,93) :- #0.587.
link(93,99) :- #0.105.
link(99,93) :- #0.047.
link(93,109) :- #0.068.
link(109,93) :- #0.263.
link(93,113) :- #0.488.
link(113,93) :- #0.632.
link(93,120) :- #0.617.
link(120,93) :- #0.437.
link(94,99) :- #0.588.
link(99,94) :- #0.256.
link(94,115) :- #0.423.
link(115,94) :- #0.606.
link(94,124) :- #0.352.
link(124,94) :- #0.
link(95,103) :- #0.751.
link(103,95) :- #0.875.
link(95,125) :- #0.662.
link(125,95) :- #0.103.
link(96,115) :- #0.523.
link(115,96) :- #0.858.
link(96,117) :- #0.464.
link(117,96) :- #0.213.
link(97,98) :- #0.906.
link(98,97) :- #0.743.
link(97,108) :- #0.764.
link(108,97) :- #0.775.
link(98,111) :- #0.545.
link(111,98) :- #0.251.
link(98,117) :- #0.734.
link(117,98) :- #0.854.
link(99,111) :- #0.341.
link(111,99) :- #0.417.
link(99,120) :- #0.334.
link(120,99) :- #0.411.
link(99,122) :- #0.699.
link(122,99) :- #0.199.
link(100,107) :- #0.917.
link(107,100) :- #0.529.
link(100,109) :- #0.221.
link(109,100) :- #0.436.
link(100,119) :- #0.311.
link(119,100) :- #0.592.
link(101,104) :- #0.57.
link(104,101) :- #0.604.
link(101,106) :- #0.388.
link(106,101) :- #0.886.
link(101,112) :- #0.237.
link(112,101) :- #0.363.
link(101,113) :- #0.018.
link(113,101) :- #0.68.
link(102,112) :- #0.974.
link(112,102) :- #0.887.
link(104,107) :- #0.495.
link(107,104) :- #0.715.
link(104,114) :- #0.849.
link(114,104) :- #0.271.
link(105,116) :- #0.872.
link(116,105) :- #0.129.
link(105,122) :- #0.33.
link(122,105) :- #0.804.
link(105,124) :- #0.422.
link(124,105) :- #0.606.
link(106,117) :- #0.131.
link(117,106) :- #0.82.
link(106,118) :- #0.424.
link(118,106) :- #0.73.
link(107,118) :- #0.126.
link(118,107) :- #0.29.
link(109,119) :- #0.379.
link(119,109) :- #0.81.
link(109,121) :- #0.685.
link(121,109) :- #0.965.
link(110,118) :- #0.221.
link(118,110) :- #0.395.
link(111,115) :- #0.797.
link(115,111) :- #0.798.
link(111,116) :- #0.241.
link(116,111) :- #0.301.
link(111,122) :- #0.33.
link(122,111) :- #0.957.
link(112,125) :- #0.849.
link(125,112) :- #0.463.
link(114,118) :- #0.219.
link(118,114) :- #0.867.
link(115,117) :- #0.471.
link(117,115) :- #0.73.
link(115,124) :- #0.053.
link(124,115) :- #0.444.
link(116,122) :- #0.306.
link(122,116) :- #0.733.
link(117,119) :- #0.059.
link(119,117) :- #0.952.
link(118,124) :- #0.265.
link(124,118) :- #0.905.
link(123,125) :- #0.259.
link(125,123) :- #0.162.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
